A Structural Entropy Measurement Principle of Propositional Formulas in Conjunctive Normal Form

The satisfiability (SAT) problem is a core problem in computer science. Existing studies have shown that most industrial SAT instances can be effectively solved by modern SAT solvers while random SAT instances cannot. It is believed that the structural characteristics of different SAT formula classes are the reasons behind this difference. In this paper, we study the structural properties of propositional formulas in conjunctive normal form (CNF) by the principle of structural entropy of formulas. First, we used structural entropy to measure the complex structure of a formula and found that the difficulty solving the formula is related to the structural entropy of the formula. The smaller the compressing information of a formula, the more difficult it is to solve the formula. Secondly, we proposed a λ-approximation strategy to approximate the structural entropy of large formulas. The experimental results showed that the proposed strategy can effectively approximate the structural entropy of the original formula and that the approximation ratio is more than 92%. Finally, we analyzed the structural properties of a formula in the solution process and found that a local search solver tends to select variables in different communities to perform the next round of searches during a search and that the structural entropy of a variable affects the probability of the variable being flipped. By using these conclusions, we also proposed an initial candidate solution generation strategy for a local search for SAT, and the experimental results showed that this strategy effectively improves the performance of the solvers CCAsat and Sparrow2011 when incorporated into these two solvers.     

Discussion of “Virtual age,is it real?”

In this note, some point of views on virtual ages are presented in terms of the discussion paper written by Finkelstein and Cha, which include generalized stochastic order‐based virtual ages, system‐level virtual ages, virtual ages in Weibull distribution and repair degrees with virtual ages. Finally, some possible future researches on virtual ages are described.     

Terahertz generation in quantum cascade structures by two-color deriving fields: An approach to reach inversion population via optical pumping

In this paper, a quantum cascade laser (QCL) design is proposed based on GaAs/AlGaAs material system, which simultaneously operates at three widely separated wavelengths (${\lambda }_1=11.1\mu m,{\lambda }_2=14.1\mu m$ and ${\lambda }_{THz}=60\mu m$). In the design, all the wavelength radiations are achieved by the engineering of the electronic spectrum via the quantum-well widths and the applied electric field in a single active region within a same waveguide. The mid-infrared (mid-IR) wavelengths are obtained by adoption a dual-upper-state active region, and the proposed design aims to use both the mid-IR radiations as the coherent deriving fields to populate the upper THz lasing state to aid the THz-laser population inversion via optical pumping instead of direct electrical injection. A detailed analysis of electronic transport in the structure is carried out using a multi-level rate-equation model. The results show that the proposed structure offers an alternative approach to room temperature THz generation in QCLs.     

Metamorphic InAs(Sb)/InGaAs/InAlAs nanoheterostructures grown on GaAs for efficient mid-IR emitters

High-efficiency semiconductor lasers and light-emitting diodes operating in the 3–5?μm mid-infrared (mid-IR) spectral range are currently of great demand for a wide variety of applications, in particular, gas sensing, noninvasive medical tests, IR spectroscopy etc. III-V compounds with a lattice constant of about 6.1?Å are traditionally used for this spectral range. The attractive idea to fabricate such emitters on GaAs substrates by using In(Ga,Al)As compounds is restricted by either the minimum operating wavelength of ～8?μm in case of pseudomorphic AlGaAs-based quantum cascade lasers or requires utilization of thick metamorphic In_xAl_1-xAs buffer layers (MBLs) playing a key role in reducing the density of threading dislocations (TDs) in an active region, which otherwise result in a strong decay of the quantum efficiency of such mid-IR emitters. In this review we present the results of careful investigations of employing the convex-graded In_xAl_1-xAs MBLs for fabrication by molecular beam epitaxy on GaAs (001) substrates of In(Ga,Al)As heterostructures with a combined type-II/type-I InSb/InAs/InGaAs quantum well (QW) for efficient mid-IR emitters (3–3.6?μm). The issues of strain relaxation, elastic stress balance, efficiency of radiative and non-radiative recombination at T?=?10–300?K are discussed in relation to molecular beam epitaxy (MBE) growth conditions and designs of the structures. A wide complex of techniques including in-situ reflection high-energy electron diffraction, atomic force microscopy (AFM), scanning and transmission electron microscopies, X-ray diffractometry, reciprocal space mapping, selective area electron diffraction, as well as photoluminescence (PL) and Fourier-transformed infrared spectroscopy was used to study in detail structural and optical properties of the metamorphic QW structures. Optimization of the growth conditions (the substrate temperature, the As₄/III ratio) and elastic strain profiles governed by variation of an inverse step in the In content profile between the MBL and the InAlAs virtual substrate results in decrease in the TD density (down to 3?×?10⁷ cm^?2), increase of the thickness of the low-TD-density near-surface MBL region to 250–300?nm, the extremely low surface roughness with the RMS value of 1.6–2.4?nm, measured by AFM, as well as rather high 3.5?μm-PL intensity at temperatures up to 300?K in such structures. The obtained results indicate that the metamorphic InSb/In(Ga,Al)As QW heterostructures of proper design, grown under the optimum MBE conditions, are very promising for fabricating the efficient mid-IR emitters on a GaAs platform.     

A review of recent advances in catalytic combustion of VOCs on perovskite-type catalysts

Along with the rapid development of industry, VOCs gradually move into the spotlight, and now become a kind of harmful environmental pollutants that cannot be overlooked. This paper introduces the hazards of VOCs and the common catalytic combustion catalysts, noble metal catalysts and non-noble metal catalysts, for the elimination of VOCs. Perovskite catalysts, as one of the non-noble catalysts, play an important role in the field of catalytic combustion in recent years. According to the classification of elements doping in perovskites, the research achievements in the past five years were analyzed and reviewed. In addition, this paper also analyzes and elaborates the reaction kinetics and QSAR/QSPR models for the introduction of structural properties and reaction mechanisms.